$\forall$$T$:Type, ${\it as}$, ${\it bs}$:$T$ List. agree\_on\_common($T$;${\it as}$;${\it bs}$) $\Rightarrow$ agree\_on\_common($T$;${\it bs}$;${\it as}$)